(let ((a 4))
  (let ((b 5))
    (let ((c 6))
      (= (+ a b c) 15))))
